論理学で、ある文章の内容が、絶対に正しいことや、逆にそれは「正しい」とは言えない場合があるかも知れないことを、はっきりと示すために、それが「誤り」であることを書いた説明文を、「証明」と言います。算数や数学で言う、「証明」と同じです。

古代ギリシャの数学者、エウクレイデスは、平面上に描かれる基本的な図形について、いつも言えることを「定理」として書き、どうしてそれが言えるのかの説明を「証明」として書きました。この定理と証明の関係は、今でも私たちが使っている大切な考えお方です。